package psd.model.Prolog.Converters;

import org.eclipse.jdt.core.dom.TypeLiteral;

import psd.model.IConverter;
import psd.model.Prolog.FactGenerationToolbox;
import psd.model.Prolog.PrologConverter;


public class PrologTypeLiteralConverter extends PrologConverter implements
		IConverter<TypeLiteral> {

	public PrologTypeLiteralConverter(FactGenerationToolbox toolbox) {
		super(toolbox);
	}

	@Override
	public boolean convert(TypeLiteral node) {
		String args[] = { "class", typeResolver.getTypeTerm(node.getType()),
				idResolver.getJavaLangClassID(), this.getFilePath(node), this.getLineNumber(node) };
		createBodyFact(node, "selectT", args);
		return false;
	}

}
